On Continuity of Accessible Functors
نویسندگان
چکیده
We prove that for each locally $\alpha$-presentable category $\mathcal K$ there exists a regular cardinal $\gamma$ such any $\alpha$-accessible functor out of (into another category) is continuous if and only it preserves $\gamma$-small limits; as consequence we obtain new adjoint theorem specific to the functors K$. Afterwards generalize these results enriched setting deduce, among other things, small V$-category accessible Cauchy complete.
منابع مشابه
Elementary Equivalences and Accessible Functors
We introduce the notion of λ-equivalence and λ-embeddings of objects in suitable categories. This notion specializes to L∞λ-equivalence and L∞λ-elementary embedding for categories of structures in a language of arity less than λ, and interacts well with functors and λ-directed colimits. We recover and extend results of Feferman and Eklof on “local functors” without fixing a language in advance....
متن کاملMonoidal Company for Accessible Functors
Distributive laws between functors are a fundamental tool in the theory of coalgebras. In the context of coinduction in complete lattices, they correspond to the so-called compatible functions, which enable enhancements of the coinductive proof technique. Amongst these, the greatest compatible function, called the companion, has recently been shown to satisfy many good properties. Categorically...
متن کاملCoequational logic for accessible functors
Covarieties of coalgebras are those classes of coalgebras for an endofunctor H on the category of sets that are closed under coproducts, subcoalgebras and quotients. Equivalently, covarieties are classes of H-coalgebras that can be presented by coequations. Adámek introduced a logic of coequations and proved soundness and completeness for all polynomial functors on the category of sets. Here th...
متن کاملAccessible functors and final coalgebras for named sets
In the field of programming language semantics and concurrency theory, wide attention is paid to the so called name-passing calculi, i.e. formalisms where name generation and passing play a fundamental role. A prototypical example is provided by the π-calculus. The peculiarities of name passing required to refine existing theoretical models and to invent new ones, such as coalgebras over preshe...
متن کاملOn the Smoothness of Functors
In this paper we will try to introduce a good smoothness notion for a functor. We consider properties and conditions from geometry and algebraic geometry which we expect a smooth functor should has.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2022
ISSN: ['1572-9095', '0927-2852']
DOI: https://doi.org/10.1007/s10485-022-09677-x